Download the aarch64 standard library on the bots

diff --git a/src/etc/install-deps.py b/src/etc/install-deps.py
index 9d453345e15c801237d3e01602bd78272b77f56d..d7870bf968475fea43bd4ef57bf750c72025cdab 100644 (file)
--- a/src/etc/install-deps.py
+++ b/src/etc/install-deps.py
@@ -26,6 +26,7 @@ if sys.platform == 'linux' or sys.platform == 'linux2':
         'arm-unknown-linux-gnueabi',
         'arm-unknown-linux-gnueabihf',
         'armv7-unknown-linux-gnueabihf',
+        'aarch64-unknown-linux-gnu',
         'x86_64-unknown-freebsd',
         'x86_64-unknown-netbsd',
     ]